.programlisting {
font: monospace;
background-color: #E0E0E0;
padding: 5;
}

pre.synopsis {
background-color: #E0E0E0;
padding: 5;
}
